LECTURES AND OTHER EVENTS

Lectures

Lectures on Appendicitis and Notes on Other Subjects

Actions and Other Events in Situation Calculus

This article presents a situation calculus formalism featuring events as primary and the usual actions as a special case. Events that are not actions are called internal events and actions are called external events. The effects of both kinds of events are given by effect axioms of the usual kind. The actions are assumed to be performed by an agent as is usual in situation calculus. An internal...

Plenary Lectures

Scientific Lectures